منابع مشابه
No . 760 NOMINAL WAGE ADJUSTMENT , DEMAND SHORTAGE AND ECONOMIC POLICY
We formulate nominal wage adjustment by incorporating various concepts of fairness. By applying it into a continuous-time money-in-utility model we examine macroeconomic dynamics with and without a liquidity trap and obtain the condition for persistent unemployment, and that for temporary unemployment, to occur. These conditions turn out to be critical, since policy implications significantly d...
متن کاملNo Clash Constraint in Nominal RNR Number Agreement
This paper presents a survey of agreement patterns in the right node raising construction in the nominal domain, makes a novel cross-linguistic generalization, and offers a multi-dominance account for singular targets in this and that student and a conjunction account for plural targets in John’s and Mary’s students. The account proposed here make various implications on agreement/ concord, NP ...
متن کاملX-O-General-Status: No X-O-Spam1-Status: Not Scanned X-O-Spam2-Status: Not Scanned X-O-URL-Status: Not Scanned X-O-Virus1-Status: No X-O-Virus2-Status: Not Scanned X-O-Virus3-Status: No X-O-Virus4-Status: No X-O-Virus5-Status: Not Scanned X-O-Image-Status: Not Scanned X-O-Attach-Status: Not Scanned
A good cryptographic hash function should behave like a random oracle: it should not have weaknesses that a random oracle does not have. Due to the existence of inner collisions, iterated hash functions can never satisfy this ideal. We propose a construction with a finite state called a sponge and show that a random sponge can only be distinguished from a random oracle due to inner collisions. ...
متن کاملClosed nominal rewriting and efficiently computable nominal
We analyse the relationship between nominal algebra and nominal rewriting, giving a new and concise presentation of equational deduction in nominal theories. With some new results, we characterise a subclass of equational theories for which nominal rewriting provides a complete and efficient procedure to check nominal algebra equality. This subclass includes specifications of lambda-calculus an...
متن کاملO Gerenciamento de Requisitos no Ambiente COCAR
Background. This research group has been working towards building an environment which helps software development, providing support to some activities mainly based on use case model. The reading technique TUCCA and a template to specify requirements were previously defined in another work of this group and are the basis of this environment. Aim. The aim of this paper is to give an overview of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Filologia e Linguística Portuguesa
سال: 2013
ISSN: 2176-9419,1517-4530
DOI: 10.11606/issn.2176-9419.v15i1p67-81